441. Recursive programing techniques
پدیدآورنده: / William H. Burge
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Recursive programming.,Combinatory logic.
رده :
QA76
.
6
.
B87
1975
442. Recursive programming techniques
پدیدآورنده : Burge , William H
موضوع : ، Recursive programming,، Cimbinatroy logic
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
443. Recursive programming techniques
پدیدآورنده: / William H. Burge
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Recursive programming,Combinatory logic
رده :
001
.
642
B945r
444. Recursive programming techniques
پدیدآورنده: Burge, William H
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Recursive programming,، Combinatory logic
رده :
QA
76
.
6
.
B87
445. Solving higher-order equations: from logic to programming
پدیدآورنده: Prehofer, Christian
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer logic,، Declarative programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
.
P74
1997
446. Specification and verification of declarative open interaction models :
پدیدآورنده: Marco Montali
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational intelligence,Computer logic,Declarative programming languages,Information technology,Management information systems,Business
رده :
QA76
.
9
.
L63
M66
2010
447. Temporal logic : first International Conference, ICTL'94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده: Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
827
448. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T4414
1994
449. Temporal logic : mathematical foundations and computational aspects
پدیدآورنده: Gabbay, Dov M.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
G27
1994
450. Temporal logic of programs
پدیدآورنده: Kroger, Fred
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
451. Temporal logic of programs
پدیدآورنده: KROGER,FRED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
K753
452. Temporal logic of programs
پدیدآورنده: Kroger, Fred
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
453. Temporal logic of programs
پدیدآورنده: Kroger, Fred
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
454. Temporal logics : and their applications
پدیدآورنده: edited by Antony Galton
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T46
1987
455. Termination proofs for logic programs
پدیدآورنده: Plumer, Lutz
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming,، Artificial intelligence
رده :
QA
76
.
63
.
P58
1990
456. Termination proofs for logic programs
پدیدآورنده: Plumer, Lutz
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
446
457. Termination proofs for logic programs /
پدیدآورنده: Lutz Plümer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic programming.
رده :
QA76
.
63
.
P58
1990
458. The imperative future: principles of executable tomporal logic
پدیدآورنده : edited by Howard Barringer ... ]et al[
موضوع : ، Computer software - Development,، Programming languages )Electronic computer(,، Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
459. The Logic programming paradigm :
پدیدآورنده: K.R. Apt [and others] eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming.,Logisch programmeren.,Programmation logique.
رده :
QA76
.
63
K737
1999
460. The deductive foundations of computer programming: a one-volume version of the logical basis for computer programming
پدیدآورنده: Manna, Zohar
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35
